ICM 2006 Mathematical Software
نویسنده
چکیده
The increasing use of automatic computer processing of information re-quests a new approach in mathematical formula editors. We are used toWYSIWYG editors that produce beautiful presentation of formula. The newICT services, such as database searching or calculation web-services, requirestoring the semantic information behind a formula. This can only be donewith a new generation of formula editors. We present WIRIS OM Tools [1] asemantic oriented formula editor which addresses these concerns. It is basedon the OpenMath language and a suitable transformation process betweenOpenMath and MathML expressions. Additionally, this approach comes upwhich new features for the users such as error, type and syntax checking.Our editing system is currently being used in the LeActiveMath project.
منابع مشابه
From Pef to Aadm
S OF TALKS PRESENTED AT THE INTERNATIONALMATHEMATICAL CONFERENCE TOPICS IN MATHEMATICAL ANALYSISAND GRAPH THEORY (MAGT) A Satellite Meeting to ICM 2006 BELGRADE, SERBIA, SEPTEMBER 1–4, 2006. Editorial note. Selected peer-refereed full presented at MAGT 2006, are publishedin: Applicable Analysis and Discrete Mathematics, 1, No. 1 (2007).
متن کاملAbstracts of Talks Presented at the International Mathematical Conference Topics in Mathematical Analysis and Graph Theory (magt)
S OF TALKS PRESENTED AT THE INTERNATIONAL MATHEMATICAL CONFERENCE TOPICS IN MATHEMATICAL ANALYSIS AND GRAPH THEORY (MAGT) A Satellite Meeting to ICM 2006 BELGRADE, SERBIA, SEPTEMBER 1–4, 2006. Editorial note. Selected peer-refereed full presented at MAGT 2006, are published in: Applicable Analysis and Discrete Mathematics, 1, No. 1 (2007).
متن کاملComputer Graphics in Mathematical Research, from Icm 1978 to Icm 2002: a Personal Reflection
Six International Congresses ago, a 45-minute invited address in Helsinki introduced the use of computer animation in mathematical research and teaching. Now, twenty-four years later, we can return to the same themes and see how the advent of raster graphics, real-time display, and interactivity on the Internet can enrich our understanding of the geometry of surfaces, both for research and teac...
متن کاملDiscovering a Decision Maker’s Mental Model with Instance-Based Cognitive Mining: A Theoretical Justification and Implementation
The purpose of this paper is to provide a theoretical justification for, and describe an implementation of, instance-based cognitive mining (ICM), a process that analyzes multiple decision instances using the inductive learning algorithms of artificial intelligence to generate a mathematical representation of the decision maker’s mental models, explicitly relating how the decision maker implici...
متن کاملComponent-based software development for integrated construction management software applications
This paper presents a framework and a prototype for designing Integrated Construction Management ~ICM! software applications using reusable components. The framework supports the collaborative development of ICM software applications by a group of ICM application developers from a library of software components. The framework focuses on the use of an explicit software development process to cap...
متن کامل